[[Logic MOC]]
# $1$st-order logic

**$1$st-order logic**, often called **predicate logic**, refers to the part of logic allowing for [[quantification]] over non-logical objects.

- [[Conventions of 1st-order logic in these notes]]

#
---
#state/develop | #lang/en | #SemBr